<#797#><#797#> Type predicate
#inset22#
<#798#><#798#> Type predicate
#inset29#
<#799#><#799#> Type predicate
#inset36#
<#800#><#800#>
#inset42#
<#801#><#801#> Type predicate
#inset50#
<#802#><#802#>
#inset57#
<#803#><#803#>
#inset64#